首页> 外文OA文献 >A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

【2h】

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

机译：满足符号几何约束满足的原理方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Sanjay Bhansali; Glenn A. Kramer; Tim J. Hoar;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Principled Approach Towards Symbolic Geometric Constraint Satisfaction [J] . Bhansali S., Hoar T. J., Kramer G. A. The Journal of Artificial Intelligence Research . 1996,第4期

机译：满足符号几何约束满足的原理方法
2. A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications [J] . Chandra Sekhar Pedamallu, Linet Ozdamar International Journal of Operational Research . 2010,第2期

机译：一种符号间隔推理方法，用于约束满足：运动学应用程序的实现
3. Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility [J] . Xiao-Shan Gao, Shang-Ching Chou Computer-Aided Design . 1998,第2期

机译：解决几何约束系统。二。 Rc可构造性的象征方法和决定
4. Symbolic Solutions for Symbolic Constraint Satisfaction Problems [C] . Alexsander Andrade de Melo, Mateus de Oliveira Oliveira International Conference on Principles of Knowledge Representation and Reasoning . 2021

机译：象征性约束满足问题的符号解
5. a symbolic approach towards constraint based software verification [D] . Datta, Shubhra 2011

机译：基于约束的软件验证的象征方法
6. Approach control. Stereoelectronic origin of geometric constraints on N-to-S and N-to-O acyl shifts in peptides [O] . Neal K. Devaraj, Charles L. Perrin 2018

机译：进近控制。肽中N至S和N至O酰基转移的几何约束的立体电子起源
7. A Principled Approach Towards Symbolic Geometric Constraint Satisfaction [O] . Bhansali, S., Kramer, G. A., Hoar, T. J. 1996

机译：符号几何约束满足的原理研究
8. Geometric Constraint Satisfaction [R] . Veltkamp, R. C., Arbab, F. 1991

机译：几何约束满足

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

著录项

引文网络

相似文献

相关主题

期刊订阅